Bire ectivity
نویسندگان
چکیده
Motivated by a model for syntactic control of interference, we introduce a general categorical concept of bire ectivity. Bire ective subcategories of a category A are subcategories with left and right adjoint equal, subject to a coherence condition. We characterise them in terms of splitidempotent natural transformations on idA. In the special case that A is a presheaf category, we characterise them in terms of the domain, and prove that any bire ective subcategory of A is itself a presheaf category. We de ne diagonal structure on a symmetric monoidal category which is still more general than asking the tensor product to be the categorical product. We then obtain a bire ective subcategory of [C;Set] and deduce results relating its nite product structure with the monoidal structure of [C;Set] determined by that of C. We also investigate the closed structure. Finally, for completeness, we give results on bire ective subcategories in Rel(A), the category of relations in a topos A, and a characterisation of bire ection functors in terms of modules they de ne. c © 1999 Elsevier Science B.V. All rights reserved.
منابع مشابه
Syntactic Control of Interference Revisited
In “syntactic control of interference” (POPL, 1978), J.C. Reynolds proposes three design principles intended to constrain the scope of imperative state e ects in Algol-like languages. The resulting linguistic framework seems to be a very satisfactory way of combining functional and imperative concepts, having the desirable attributes of both purely functional languages (such as PCF) and simple ...
متن کاملE ectivity of Regular Spaces
General methods of investigating e ectivity on regular Hausdor (T3) spaces is considered. It is shown that there exists a functor from a category of T3 spaces into a category of domain representations. Using this functor one may look at the subcategory of e ective domain representations to get an e ectivity theory for T3 spaces. However, this approach seems to be beset by some problems. Instead...
متن کاملEstimating the energy source and re ectivity byseismic
Data produced by a reproducible source contains redundant information which allows seismic inversion to simultaneously determine the high-frequency uctuation in the P-wave velocity (or re ectivity) as well as the input energy source. The seismogram model is the plane-wave convolutional model derived from the constant density, variable sound velocity acoustic wave equation. The rst step is to an...
متن کاملComputational 3 D and Re ectivity Imaging with High Photon
Imaging the 3D structure and re ectivity of a scene can be done using photon-counting detectors. Traditional imagers of this type typically require hundreds of detected photons per pixel for accurate 3D and re ectivity imaging. Under low light-level conditions, in which the mean photon count is small, the inverse problem of forming 3D and re ectivity images is di cult due to the Poisson noise i...
متن کاملStochastic Filtering of Rain Pro les using Radar, Surface-Referenced Radar, or Combined Radar/Radiometer Measurements
This paper describes a computationally e cient nearly-optimal Bayesian algorithm to estimate rain (and drop-size-distribution) pro les, given a radar re ectivity pro le at a single attenuating wavelength. In addition to estimating the averages of all the mutually ambiguous combinations of rain parameters that can produce the data observed, the approach also calculates the r.m.s. uncertainty in ...
متن کامل